proof explanation